The Metamodelling Language Calculus: Foundation Semantics for UML
نویسندگان
چکیده
The Metamodelling Language (MML) is a sub-set of the Unified Modeling Language (UML) that is proposed as the core language used to bootstrap the UML 2.0 definition initiative. Since it is metacircular, MML requires an external formal semantics in order to ground it. This paper defines the MML Calculus which is used to formally define MML and therefore provides a semantic basis for UML 2.0.
منابع مشابه
Exploiting the ASM method within the Model-driven Engineering paradigm
Model-driven Engineering (MDE) [3] is an emerging approach for software development and analysis where models play the fundamental role of first-class artifacts. Metamodelling is a key concept of the MDE paradigm and it is intended as a modular and layered way to endow a language or a formalism with an abstract notation, so separating the abstract syntax and semantics of the language constructs...
متن کاملA Relational Approach to Defining Transformations in a Metamodel
Metamodelling is becoming a standard way of defining languages such as the UML. A language definition distinguishes between concrete syntax, abstract syntax and semantics domain. It is possible to define all three using a metamodelling approach, but it is less clear how to define the transformations between them. This paper proposes an approach which uses metamodelling patterns that capture the...
متن کاملKeynote: On the Ease of Extending a Powertype-Based Methodology Metamodel
Metamodelling is an increasingly prevalent tool in conceptual modelling – in particular in the context of OMG standards such as UML, MOF and SPEM. However, when applying a standard metamodelling approach based solely on instantiation semantics, many problems arise. These are shown to be solved using a powertype-based approach instead. Here we summarize this approach and focus on the ease with w...
متن کاملRepresentation of Levels and Instantiation in a Metamodelling Environment
In the scope of meta-modelling it is important to consider descriptions sometimes as a model and sometimes as a metamodel, e.g. the UML metamodel which is a metamodel for UML and at the same time a model in terms of MOF. For this handling to be easy, this article describes a meta-level representation that includes both aspects. It covers the most important relations within the MOF framework sta...
متن کاملMML and the Metamodel Architecture
The Meta-Modelling Language is a static object-oriented modelling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely defined, and to enable UML to evolve into a family of languages. This paper argues that although MML takes a metamodelling approach to language definition, it cannot be described as strict metamodelling. This has s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001